
Property Specification Language - Le Property Specification Language (PSL) (en français : Langage de spécification par propriétés) est basé sur le langage Sugar d`IBM. Il a été approuvé par l`organisme Accellera en , et par l`IEEE en .
Trouvé sur
https://fr.wikipedia.org/wiki/Property_Specification_Language
Aucun résultat n’a été trouvé dans l’encyclopédie.